Factorising folds for faster functions
نویسندگان
چکیده
The worker/wrapper transformation is a general technique for improving the performance of recursive programs by changing their types. The previous formalisation (Gill & Hutton, 2009) was based upon a simple fixed point semantics of recursion. In this article we develop a more structured approach, based upon initial algebra semantics. In particular, we show how the worker/wrapper transformation can be applied to programs defined using the structured pattern of recursion captured by fold operators, and illustrate our new technique with a number of examples.
منابع مشابه
Factorising Folds for Faster Functions (Extended Version)
The worker/wrapper transformation is a general technique for improving the performance of recursive programs by changing their types. The previous formalisation (Gill & Hutton, 2009) was based upon a simple fixed point semantics of recursion. In this article we develop a more structured approach, based upon initial algebra semantics. In particular, we show how the worker/wrapper transformation ...
متن کاملAre viruses a source of new protein folds for organisms? - Virosphere structure space and evolution.
A crucially important part of the biosphere - the virosphere - is too often overlooked. Inclusion of the virosphere into the global picture of protein structure space reveals that 63 protein domain superfamilies in viruses do not have any structural and evolutionary relatives in modern cellular organisms. More than half of these have functions which are not virus-specific and thus might be a so...
متن کاملStructure Based Identification of Protein Family Signatures for Function Annotation
2 Introduction Protein sequences are known to evolve much faster than structures. Pairs of distantly homologous proteins with very low sequence similarity may still share very similar folds and functions. One example of well-preserved structural motifs is given by specific three-dimensional orientations of amino acid residues in the active site of a protein, which are responsible for protein’s ...
متن کاملOverturned folds in ice sheets: Insights from a kinematic model of traveling sticky patches and comparisons with observations
Overturned folds are observed in regions of the Greenland ice sheet where driving stress is highly variable. Three mechanisms have been proposed to explain these folds: freezing subglacial water, traveling basal slippery patches, and englacial rheological contrasts. Here we explore how traveling basal sticky patches can produce overturned folds. Transitions from low to high stress cause a trade...
متن کاملThe Relationship Function: A Com on Enzymes
For most proteins in the genome databases, function is predicted via sequence comparison. In spite of the popularity of this approach, the extent to which it can be reliably applied is unknown. We address this issue by systematically investigating the relationship between protein function and structure. We focus initially on enzymes classi®ed by the Enzyme Commission (EC) and relate these to st...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Funct. Program.
دوره 20 شماره
صفحات -
تاریخ انتشار 2010